$\forall$$i$, $a$:Id, ${\it es}$:ES. @$i$ locl($a$) occurs once $\in$ Prop